A Lightweight Generic Compiler for Authenticated Key Exchange from Non-interactive Key Exchange with Auxiliary Input

We introduce a new lightweight generic compiler that is able to transform any passively forward secure twomessage key exchange (KE) protocols into authenticated key exchange (AKE) protocols with security in the presence of active adversaries who can reveal critical session specific information such as long-term or ephemeral secrets and can establish malicious parties. The compiler is built based on a new security notion regarding noninteractive key exchange with auxiliary input (NIKEA). The NIKEA is able to provide two security properties on the confidentiality and the unforgeability of shared key. Our new compiler is a very useful tool for the design of new AKE protocols in a modular and efficient way, that is suitable for resources constrained devices.